<?php


class RegistryException extends PhException
{}